Common knowledge and quanti
نویسندگان
چکیده
The paper consists of two parts. The rst one is a concise introduction to epistemic (both propositional and predicate) logic with common knowledge operator. As the full predicate logics of common knowledge are not even recursively enumerable, in the second part we introduce and investigate the monodic fragment of these logics which allows applications of the epistemic operators to formulas with at most one free variable. We provide the monodic fragments of the most important common knowledge predicate logics with nite Hilbert-style axiomatizations, prove their completeness , and single out a number of decidable subfragments. On the other hand, we show that the addition of equality to the monodic fragment makes it not recursively enumerable.
منابع مشابه
A Remark on Collective Quanti cation
We consider collective quanti cation in natural language. For many years the common strategy in formalizing collective quanti cation has been to de ne the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, de ne the collective interpretations of collective determiners systematically from the stan...
متن کاملQuantified Mu-Calculus for Control Synthesis
We consider an extension of the mu-calculus as a general framework to describe and synthesize controllers. This extension is obtained by quantifying atomic propositions, we call the resulting logic quanti ed mu-calculus. We study its main theoretical properties and show its adequacy to control applications. The proposed framework is expressive : it o ers a uniform way to describe as varied para...
متن کاملExtending Gg Odel for Expressing Restricted Quantiications and Arrays
The expressiveness of the declarative language G odel can be improved by adding to it bounded quanti cations, i.e., quanti cations over nite domains, and arrays. Many problems can be expressed more concisely using bounded quanti cations than using recursion. Arrays are natural for many applications, e.g., in scienti c computing, and are conveniently used in bounded quanti cations. Treating bou...
متن کاملارزیابی تست کوانتی فرون طلایی در تشخیص توبرکلوزیس
Background & Objective: Because of uncertainty in interpretation of some tests for diagnosing TB, decision making for the tuberculosis treatment is based on multiple diagnostic tests. This study was conducted to assess the accuracy of Quanti FERON-TB Gold test in tuberculosis diagnosis. Methods: The study was carried out on 30 cases and 46 controls. Statistical indices of sensitivity, specif...
متن کاملAssessment of Foliar Application of Iron and Silicon on Some Agronomic, Quanti-tative and Qualitative Parameters of Potato (Solanum tuberosum L.)
This study aimed at evaluating some quantitative and qualitative properties of potato as one of the main commercial products in Iran. To this end, a split plot experiment on the basis of randomized complete bloke design with silicone and iron was carried out in jiroft as one of the commercial area of planting potatoes. The main factor included different levels of silicon (0, 10, 20, 30 mM.l-1) ...
متن کامل